A syntactic commutativity format for SOS
نویسندگان
چکیده
Considering operators defined using Structural Operational Semantics (SOS), commutativity axioms are intuitive properties that hold for many of them. Proving this intuition is usually a laborious task, requiring several pages of boring and standard proof. To save this effort, we propose a syntactic SOS format which guarantees commutativity for a set of composition operators.
منابع مشابه
Reverse Engineering of Network Software Binary Codes for Identification of Syntax and Semantics of Protocol Messages
Reverse engineering of network applications especially from the security point of view is of high importance and interest. Many network applications use proprietary protocols which specifications are not publicly available. Reverse engineering of such applications could provide us with vital information to understand their embedded unknown protocols. This could facilitate many tasks including d...
متن کاملCommutativity of Reducers
In the Map-Reduce programming model for data parallel computation in a cloud environment, the reducer phase is responsible for computing an output key-value pair, given a sequence of input values associated with a particular key. Because of non-determinism in transmitting key-value pairs over the network, the inputs may not arrive at a reducer in a fixed order. This gives rise to the reducer co...
متن کاملCommutativity degree of $mathbb{Z}_p$≀$mathbb{Z}_{p^n}
For a nite group G the commutativity degree denote by d(G) and dend:$$d(G) =frac{|{(x; y)|x, yin G,xy = yx}|}{|G|^2}.$$ In [2] authors found commutativity degree for some groups,in this paper we nd commutativity degree for a class of groups that have high nilpontencies.
متن کاملFinite groups with three relative commutativity degrees
For a finite group $G$ and a subgroup $H$ of $G$, the relative commutativity degree of $H$ in $G$, denoted by $d(H,G)$, is the probability that an element of $H$ commutes with an element of $G$. Let $mathcal{D}(G)={d(H,G):Hleq G}$ be the set of all relative commutativity degrees of subgroups of $G$. It is shown that a finite group $G$ admits three relative commutativity degrees if a...
متن کاملThe Tensor Degree of a Pair of Finite Groups
In this paper, we study the tensor commutativity degree of pair of finite groups. Erdos introduced the relative commutativity degree and studied its properties. Then, Mr. Niroomand introduced the tensor relative commutativity degree, calculated tensor relative degree for some groups, and studied its properties. Also, he explained its relation with relative commutativity degree. In this paper, w...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Inf. Process. Lett.
دوره 93 شماره
صفحات -
تاریخ انتشار 2005